منابع مشابه
The Seal Calculus
The Seal Calculus is a process language for describing mobile computation. Threads and resources are tree structured; the nodes thereof correspond to agents, the units of mobility. The Calculus extends a π-calculus core with synchronous, objective mobility of agents over channels. This paper systematically compares all previous variants of Seal Calculus. We study their operational behaviour wit...
متن کاملOperational Semantics of the Seal Calculus
As a distributed process calculus with localities and mobility of computational entities, Seal calculus is playing an important role in expressing key features such as security and mobility of Internet programming directly. However, little implementation technique proposed for the calculus, partly due to the complication of mobile computation, which fusions three important techniques: concurren...
متن کاملCommitment and Connnement for the Seal Calculus
The Seal calculus is a distributed process calculus in which locations and movement of computational entities are explicit. The calculus is targeted at secure distributed applications over large scale open networks such as the Internet. Security is addressed by the addition of a ne-grain access control mechanism. In 14] we motivated the design choices. Here we develop some technical tools, whic...
متن کاملTyping Mobility in the Seal Calculus
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for agents. To that end we first provide a new definition of the Seal Calculus that gets rid of existing inessential features while preserving the distinctive characteristics of the Seal model. Then we discuss the use of...
متن کاملTransformation from Seal Calculus to Mobile Ambient Calculus
Based on analyzing syntax structrure and semantics reduction system of Seal calculus and Mobile Ambient calculus, we investigate three equivalence relations of the two calculus : communication’s equivalence, communication primitives’s equivalence and code movement equivalence. Then we show the structural transformation technology from Seal to Mobile Ambient. Our work proposes a systemitical met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2005
ISSN: 0890-5401
DOI: 10.1016/j.ic.2004.11.005